This text is concerned with the concept that our mathematical knowledge is inexhaustible. Basic material in predicate logic, set theory and recursion theory is presented, leading to a proof of incompleteness theorems.[...]
"Among the many expositions of Godel's incompleteness theorems written for non-specialists, this book stands apart. With exceptional clarity, Franzen gives careful, non-technical explanations both of what those theorems say and, more importantly, what they do not. No other book aims, as his does, to[...]